TestOptions {forCompilers = [(MAlonzo, CompilerOptions {extraAgdaArgs = ["--ghc-flag=-itest/Compiler/simple"]})], runtimeOptions = [], executeProg = True}
